Maude Based Patterns for Mobile Agents Itineraries
نویسندگان
چکیده
Mobile agent based systems are so complex that the usage of formal tools for simulation and prototyping to facilitate the modelling of such systems is of great interest. Improved methods are needed to insure their correctness. In particular predefined patterns seems to give suitable solution to deal with complexity of formal methods and to enable reusability and consistency. In another hand executable specification are a powerful technique to prototype and analyse complex systems The aim of this paper is to propose a number of patterns sin MAUDE language to model mobile agents itineraries and to ease their analysis and/or their model checking through MAUDE based executable specification.
منابع مشابه
Securing dynamic itineraries for mobile agent applications
In this paper we present a novel mechanism for the protection of dynamic itineraries for mobile agent applications. Itineraries that are decided as the agent goes are essential in complex applications based on mobile agents, but no approach has been presented until now to protect them. We have conceived a cryptographic scheme for shielding dynamic itineraries from tampering, impersonation and d...
متن کاملAn M-Commerce Environment Based on Software Agents
This paper presents the E _-C_ommerce through W_ ireless dE _vices (E-CWE) project that uses software agents in the design and development of an m-commerce environment. Users of the E-CWE environment are able to use their wireless devices, such as mobile phones, to undertake e-commerce transactions. Conducting these transactions raises new issues that vary from the limited bandwidth of networks...
متن کاملEfficient Implementation of Data Aggregation in WSNs by Mobile Agent Paradigm
In many sensor network applications viz., environmental monitoring, spatial exploration and battlefield surveillance, sensed data is aggregated and transmitted to the sinks for analysis. Thus, innetwork data aggregation [2] becomes an important technique in wireless sensor networks and has been well studied in recent years. In general, any sensory network suffers with two problems i.e., i) the ...
متن کاملVerification of Itineraries for Mobile Agent Enabled Interorganizational Workflow
We apply mobile agents to synchronize workflows of different organizations resulting in an interorganizational workflow. This paper models agent enabled interorganizational workflows using Interorganizational Workflow Nets. This model provides a means to verify the correctness (and, so the viability) of the itineraries of agents used in enacting interorganizational workflows. We also outline an...
متن کاملParadigms for mobile agent based active monitoring of network systems
We present here a framework together with a set of paradigms for mobile agent based active monitoring of network systems. In our framework mobile agents are used to perform remote information filtering and control functions. Such agents can detect basic events or correlate existing events that are stored in a database to enforce system policies. A system administrator can securely modify the mo...
متن کامل